Java Music Specification Language, an introduction and overview
نویسندگان
چکیده
Java Music Specification Language (JMSL) is a new Javabased development tool for experiments in algorithmic composition, live performance, and intelligent instrument design. JMSL is the evolutionary successor to the Hierarchical Music Specification Language (Polansky, Rosenboom, and Burk, 1987). While HMSL was Forthbased, JMSL is written in Java. JMSL's features include: x Stylistically neutral core x Polymorphic hierarchical scheduling x Device abstraction. JMSL supports Robert Marsanyi's JavaMIDI, Softsynth's JSyn, MidiShare (Orlarey and Lequay 1989), and Sun's JavaSound at a level that hides their implementation. x An algorithmically extensible common music notation editor called JScore which features an algorithmic notation and transformation plugin API. x Its Java core. As opposed to a closed system with a proprietary language, JMSL allows the programmer to leverage off the vast resources available to Java developers, including Java's database connectivity, networking tools, 2D and 3D graphics packages, servlet API, and numerous third party packages. x The composer can create stand-alone JMSL applications or deploy JMSL applets on the web. x JMSL offers a freely downloadable "Lite" version. x Runs on Windows, MacIntosh, and Linux platforms
منابع مشابه
Java Music Specification Language and Max/MSP
Java Music Specification Language (Didkovsky, Burk 2001) is a Java package for algorithmic music composition, notation, and interactive performance. Max/MSP (Puckette, Zicarelli) is a graphical environment for music, audio, and multimedia. The introduction of a Java API to Max/MSP offers new possibilities for rich interaction between JMSL and Max. This paper presents new tools for bidirectional...
متن کاملJava Speech Api
This document is an overview of the Java Speech API. Java Speech API is part of the Java Media APIs collection that provides an applications developer the means to implement multimedia applications. The document contains a brief introduction to speech synthesis and speech recognition in general and then proceeds to the design of the Java Speech API and its use in speech applications. The Java S...
متن کاملChecking JML Specification Soundness Using ESC/Java2
This report describes the work completed in the Final Year Project “Checking JML Specification Soundness Using ESC/Java2.” It introduces some of the basics of Design by Contract and the Java Modelling Language (JML). This paper primarily deals with the Extended Static Checker ESC/Java2, one of the many powerful tools that understand JML. It describes techniques for extending the functionality o...
متن کاملFormal Specification with the Java Modeling Language
The Java Modeling Language, JML, is an increasingly popular specification language for Java software, that has been developed as a community effort since 1999. The nature of such a project entails that language details change, sometimes rapidly, over time and there is no ultimate reference for JML. Fortunately, for the items that we address in this introduction, the syntax and semantics are for...
متن کاملA Quick Tutorial on JET
JET is an automated unit testing tool for Java classes annotated with JML specifications; JML is a formal interface specification language for Java to document the behavior of Java classes and interfaces. JET tests each method of the class under test separately. For each method, it generates a collection of test data, executes them, and decides test results (i.e., pass/fail) by using JML specif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001